Thực đơn
Luận lý HoareThực đơn
Luận lý HoareLiên quan
Luận tội Donald Trump lần thứ hai Luận tội Luận tạng Luận tội tại Hoa Kỳ Luận thuyết trung tâm Luận ngữ Luận cứ Luận lý Hoare Luận điểm Siri Luận vănTài liệu tham khảo
WikiPedia: Luận lý Hoare http://www.cs.queensu.ca/home/specsoft/ http://j-algo.binaervarianz.de/index.php?language=... http://isabelle.in.tum.de/Bali/ http://www.spatial.maine.edu/~worboys/processes/ho... //dx.doi.org/10.1145%2F363235.363259 http://www.key-project.org/download/hoare/